(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun g () Real)
(declare-fun h () Real)
(declare-fun i () Real)
(assert (exists ((j Real)) (= (< 0 d) (= (/ j 0) j))))
(assert (and (= (/ 20 a c) 2) (= (/ g (* (* e (/ b e)) (/ 2 0))) f) (= 0 (/ 1 b))))
(assert (= a (/ h i)))
(check-sat)
